Nuprl Definition : fpf-ap
11,40
postcript
pdf
fpf-ap(
f
;
eq
;
x
) == (
f
.2)(
x
)
latex
Definitions
t
.2
FDL editor aliases
fpf-ap
origin